1841. Verification and validation in systems engineering

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Systems engineering. ; Expert systems (Computer science) ; Verification. ; Expert systems (Computer science) ; Validation. ; UML (Computer science) ; SysML (Computer science) ; Systementwicklung ; swd. ; UML ; swd. ; SysML ; swd. ; Software Engineering ;

1842. Verification and validation in systems engineering : assessing UML/SysML design models

پدیدآورنده :

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : ، Systems engineering,Verification ، Expert systems )Computer science(,Validation ، Expert systems )Computer science(,، UML )Computer science(,، SysML )Computer science(

رده :
QA
76
.
76
.
E95
V47
2010

1843. Verification and validation of rule-based expert systems]CD[

پدیدآورنده :

کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع : ، Expert systems )Computer science(,Verification ، Computer software,Validation ، Computer software

رده :
CD
1748-83

1844. Verification and validation of rule-based expert systems

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع : Expert systems (Computer science),Computer software- Verification,Computer software- Validation

رده :
QA76
.
76
.
E95
,
S66
1993

1845. Verified software :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Compilers (Computer programs), Congresses.,Computer software-- Quality control, Congresses.,Computer software-- Verification, Congresses.,Compilers (Computer programs),Computer programming-- software development.,Computer software-- Quality control.,Computer software-- Verification.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Information technology: general issues.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.

رده :
QA76
.
76
.
V47

1846. View-independent face recognition with mixture of experts

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Computer vision,Human face recognition )Computer science(,Expert systems )Computer science(,Neural networks )Computer science(,Pattern perception,Neurophysiology,Visual perception

1847. Virtual and adaptive environments :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Human-computer interaction.,Virtual computer systems.,COMPUTERS-- Operating Systems-- Virtualization.,COMPUTERS-- System Administration-- General.,COMPUTERS-- Utilities.,Human-computer interaction.,Virtual computer systems.

رده :
QA76
.
9
.
V5
V56
2003eb

1848. Virtual humans: a build-it-yourself kit, complete with software and step-by-step instructions

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)

موضوع : ، Natural language processing )Computer science(,، Expert systems )Computer science(,Computer simulation ، Personality

رده :
QA
76
.
9
.
N38
P47

1849. Vivid logic

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Expert systems (Computer science),Logic, Symbolic and mathematical.

رده :
QA
,
76
.
76
,.
E95
,
W33
,
1994

1850. Vivid logic :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Expert systems (Computer science) ; Logic, Symbolic and mathematical. ;

1851. Vivid logic : knowledge-based reasoning with two kinds of negation

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Expert systems )Computer science(,، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
764

1852. Von Datenbanken zu Expertensystemen

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Database management.,Datenbank.,Expert systems (Computer science)

رده :
QA76
.
9
.
D3
H367
1985

1853. Web and big data :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Big data, Congresses.,Internet, Congresses.,World Wide Web, Congresses.,Artificial Intelligence.,Data Mining and Knowledge Discovery.,Information Storage and Retrieval.,Information Systems Applications (incl. Internet).,Natural Language Processing (NLP).,Special Purpose and Application-Based Systems.,Artificial intelligence.,Big data.,Computers-- Database Management-- Data Mining.,Computers-- Document Management.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- System Administration-- Storage & Retrieval.,Data mining.,Desktop publishing.,Expert systems / knowledge-based systems.,Information retrieval.,Internet.,World Wide Web.

رده :
TK5105
.
888

1854. Web information systems engineering -- WISE 2018 :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Information storage and retrieval systems, Congresses.,Software engineering, Congresses.,Web services, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Data mining.,Expert systems-- knowledge-based systems.,Information retrieval.,Information storage and retrieval systems.,Software engineering.,Web services.

رده :
TK5105
.
88813

1855. Wireless Mobile Communication and Healthcare :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer Communication Networks.,Computer science.,Medical records -- Data processing.

رده :
R858
.
A1
E358
2013

1856. Wissensbasierte Systeme :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Expert systems (Computer science),Expertensystem -- 0 Gesamtdarstellung.,Wissensbasiertes System.

1857. Wissensbasierte Systeme.

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence -- Congresses.,Expert systems (Computer science) -- Congresses.,Logic machines -- Congresses.

1858. Women into computing :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : comportement femme.,femme informatique.,formation femme.

1859. XPS'99 : Knowledge-based systems : survey and future decisions : 5th biannual German Conference on Knowledge-Based Systems, Wurzburg, Germany, March 1999 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Expert systems )Computer science(

رده :
QA
76
.
L28
Vol
.
1570

1860. Z682.35.V62

پدیدآورنده :

کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)